Matlab/Simulink ile PV Panellerinin Modellenmesi

CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması

Özetçe. Bir sistemi oluşturan dağıtık elektronik kontrol birimleri arasındaki iletişim gerekleri, birimler arası veriyolunun seçimini ve tasarımını belirlemektedir. Controller Area Network (CAN) veriyolu, sağladığı bant genişliği, hata toleransı ve düşük maliyeti nedeniyle araç içi haberleşmede, akıllı evlerde ve endüstriyel kontrol sistemlerinde sıklıkla kullanılan bir protokoldür. Ancak olay ...

Ardışıl Devrelerin Yazılım ile Model Tabanlı Sınanması

Özet. Bu çalışmanın amacı, ardışıl devrelerin (sequential circuits) ölçeklenebilir düzenli ifadeler (regular expression) ile modellenmesi ve bu ölçeklenebilir model aracılığı ile sınanmasıdır (testing). Sınama işlemi için model tabanlı sınama dizileri (test sequence) kullanılacaktır. Devrenin modellenmesi için hedeflenen hatalar aracılığı ile durum uzayı (state space) sınırlandırılmaktadır. Böy...

5-eksen Frezelemede Kuvvet ve Şekil Hatalarının Modellenmesi

5 eksen freze operasyonları havacılık, otomotiv ve kalıpçılık sektörlerinde karmaşık yüzeylerin talaşlı imalatında sıklıkla kullanılır. Bütün bu operasyonlarda boyut toleransları ve yüzey kalitesi çok önemlidir. Parçada veya kesici takımda kesme kuvvetleri nedeniyle oluşan esnemeler kabul edilemeyecek parça kalitesine sebep olabilirler. İstenilen kalitenin daha yüksek bir verimlilik ile sağlanm...

İş Süreçlerinin Hedef Tabanlı Modellenmesi İçin Bir Araç

Döner Düğmeleri Haptik Sistem ile Prototipleme

Özet. Tüketici elektroniğinde fonksiyonelite ve dayanıklılık esasları hemen hemen tüm üründe aynı seviyeye ulaşmış ve daha önceleri göz önünde bulundurulmayan birtakım ayırdedici değişikliklerin ortaya çıkmasına yol açmıştır. Ayrıca teknolojik tasarımın hızla ilerlemesiyle insanların kontrol edeceği değişken sayısı artmış, buna karşın insanların algısal kapasitesinde herhangi bir ilerleme olmam...